1. Accessible categories: the foundations of categorical model theory

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M35
1989

2. Accessible categories : the foundations of categorical model theory

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M25

3. First order categorical logic : model-theoretical methods in the theory of topoi and related categories

پدیدآورنده :

کتابخانه: Library of College of Science University of Tehran (Tehran)

موضوع : ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M3
1977

4. First order categorical logic: model-theoretical methods in the theory of topoi and related categories

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
3
.
L28
no
.
611

5. First order categorical logic: model-theorical methods in the theory of topoi and related categories

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
3
.
L28
no
.
611

6. Forcing and classifying topoi /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Categories (Mathematics),Forcing (Model theory),Toposes

رده :
QA169
.
A57
no
.
295